• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2017 (1)
    • 2008 (4)
    • 2003 (1)
    • 1999 (1)
    • 1998 (1)
    • 1994 (1)
    • 1993 (3)
    • 1992 (1)
    • 1991 (2)
    • 1990 (5)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 26 1 Logical reasoning with diagrams & sentences using Hyperproof Barker-Plummer, Dave; Akhter, Murad (Mitwirkender); Etchemendy, John. - Stanford : CSLI Publications, 2017 BLLDB UB Frankfurt Linguistik Show details 2 Tarski's world Etchemendy, John; Barwise, Jon; Barker-Plummer, Dave. - Stanford, Calif. : Center for the Study of Language and Information, 2008 BLLDB UB Frankfurt Linguistik Show details 3 Graphical revelations : comparing students' translation errors in graphics and logic Cox, Richard; Dale, Robert; Etchemendy, John. - : Berlin, Germany : Springer, 2008 BASE Show details 4 Graphical revelations: Comparing students' translation errors in graphics and logic. Cox, Richard; Dale, Robert; Etchemendy, John. - : Springer, 2008 BASE Show details 5 An Empirical Study of Errors in Translating Natural Language into Logic Barker-Plummer, Dave; Cox, Richard; Dale, Robert. - : Cognitive Science Society, 2008 BASE Show details 6 Language, proof and logic Barwise, Jon; Etchemendy, John. - Stanford, Calif. : Center for the Study of Language and Information, CLSI Publ., 2003 UB Frankfurt Linguistik Show details 7 The concept of logical consequence Etchemendy, John. - Stanford : CSLI, 1999 MPI für Psycholinguistik Show details 8 Computers, Visualization, and the Nature of Reasoning Barwise, Jon; Etchemendy, John In: Metaphilosophy. - Malden, Mass. : Wiley-Blackwell (1998), 93-116 OLC Linguistik Show details 9 Hyperproof : program by Gerard Allwein, Mark Greave, and Michael Lenz Barwise, Jon; Etchemendy, John. - Stanford, Calif. : Center for the Study of Language and Information, 1994 UB Frankfurt Linguistik Show details 10 Tarski's World : version 4.0 for Macintosh Etchemendy, John; Barwise, Jon. - Stanford, Calif. : Center for the Study of Language and Information, 1993 BLLDB UB Frankfurt Linguistik Show details 11 Tarski's World : version 4.0 for MS windows Barwise, Jon; Etchemendy, John. - Stanford, Calif. : CSLI Publ., 1993 UB Frankfurt Linguistik Show details 12 Turing's World 3.0 for the Macintosh : an introduction to computability theory Barwise, Jon; Etchemendy, John. - Stanford, Calif. : Center for the Study of Language and Information, 1993 UB Frankfurt Linguistik Show details 13 The language of first order logic : including the IBM-compatible Windows version of Tarski's world 4.0 Barwise, Jon; Etchemendy, John. - Stanford, CA, 1992 UB Frankfurt Linguistik Show details 14 The language of first order logic : including the Macintosh program Tarski's world Barwise, Jon; Etchemendy, John. - Menlo Park, CA [u.a.], 1991 BLLDB UB Frankfurt Linguistik Show details 15 Tarski's World 3.0 : including the Macintosh program Barwise, Jon; Etchemendy, John. - Stanford, CA, 1991 UB Frankfurt Linguistik Show details 16 The concept of logical consequence Etchemendy, John. - Cambridge, Mass. [u.a.] : Harvard Univ. Press, 1990 BLLDB UB Frankfurt Linguistik Show details 17 Information, infons and inference Barwise, Jon; Etchemendy, John In: CSLI Lecture notes (Stanford,CA), 22 ; P. 33-78 MPI für Psycholinguistik Show details 18 The language of first order logic Barwise, Jon; Etchemendy, John - Darin enthalten: Including the program Tarski's world. - Stanford, CA : Center for the Study of Language and Information, 1990 UB Frankfurt Linguistik Show details 19 The language of first-order logic including the program Tarski's world Barwise, Jon; Etchemendy, John. - Menlo Park : Center for the Study of Language and Information, c 1990 IDS Mannheim Show details 20 Information, infons, and inference Barwise, Jon; Etchemendy, John In: Situation theory and its applications. Vol. 1. - Stanford, Calif. : Center for the Study of Language and Information (1990), 33-78 BLLDB Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 14 IDS Mannheim 2 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 10 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 3 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0